<?php
$z[0]=Array("global","",67,92);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",165,180);
$z[2]=Array("title","",182,196);
$z[3]=Array("global","",229,254);
$z[3][4]['name']="autoindex";
$z[4]=Array("global","",259,284);
$z[4][4]['name']="autoindex";
$z[5]=Array("typeurl","",367,384);
$z[6]=Array("typename","",424,442);
$z[7]=Array("arcurl","",456,471);
$z[8]=Array("title","",473,487);
$z[9]=Array("typeurl","",606,623);
$z[10]=Array("typename","",663,681);
$z[11]=Array("arcurl","",696,711);
$z[12]=Array("title","",713,727);

?>